(в технике доказательства правильности программ)

См. также в других словарях:

• Информация — (Information) Информация это сведения о чем либо Понятие и виды информации, передача и обработка, поиск и хранение информации Содержание >>>>>>>>>>>> …   Энциклопедия инвестора

• проверка — 2.9 проверка [аудит]: Систематическая и объективная деятельность по оценке выполнения установленных требований, проводимая лицом (экспертом) или группой лиц, независимых в принятии решений. Источник: ГОСТ Р 52549 2006: Система управления… …   Словарь-справочник терминов нормативно-технической документации

• ЛОГИЧЕСКИЕ МАШИНЫ — механические, электромеханические или электронные устройства для полуавтоматич. или автоматич. выполнения к. л. операций логики. Л. м. применяются для анализа и упрощения формул нек рых разделов логики (в частности, для определения тех значений… …   Философская энциклопедия

• Соединённые Штаты Америки — Соединенные Штаты Америки США, гос во в Сев. Америке. Название включает: геогр. термин штаты (от англ, state государство ), так в ряде стран называют самоуправляющиеся территориальные единицы; определение соединенные, т. е. входящие в федерацию,… …   Географическая энциклопедия

• Управление — 2 Управление Совокупность целенаправленных действий, включающая оценку ситуации и состояние объекта управления Выбор управляющих воздействий и их реализация (ГОСТ 34.003 90). Применительно к персоналу (как объекту управления) под управлением… …   Словарь-справочник терминов нормативно-технической документации

• Ломоносов, Михаил Васильевич — — ученый и писатель, действительный член Российской Академии Наук, профессор химии С. Петербургского университета; родился в дер. Денисовке, Архангельской губ., 8 ноября 1711 г., скончался в С. Петербурге 4 апреля 1765 года. В настоящее… …   Большая биографическая энциклопедия